many-sorted predicate calculus
多种类谓词演算
热门查询
- papa n. 爸爸（儿语，等于poppa） n. (Papa)人名；(俄、意、葡、罗、几)帕帕
- bind n. 捆绑；困境；讨厌的事情；植物的藤蔓 vt. 绑；约束；装订；包扎；凝固 vi. 结合；装订；有约束力；过紧 n. (Bind)人名；(德)宾德
- Blaney [人名] 布兰尼; [地名] [美国、南非共和国、英国] 布莱尼
- insistent adj. 坚持的；迫切的；显著的；引人注目的；紧急的
- ham adj. 过火的；做作的 vi. 表演过火 vt. 演得过火 n. 火腿；业余无线电爱好者；蹩脚演员 n. (Ham)人名；(英、瑞典、塞)哈姆；(老)罕；(柬)汉
- stones n. 石子（stone的复数）；小石头 v. 向…扔石子；用石块铺（stone的三单形式） n. (Stones)人名；(英)斯通斯
- eventing n. 综合全能马术比赛
- marijuana n. 大麻；大麻毒品
- magnifico n. 显要人物；权贵；贵族 n. (Magnifico)人名；(意)马尼菲科
- highpoint [地名] [美国] 海波因特
- biocide n. 杀虫剂；[微] 抗微生物剂
- snarling 纱线扭结 缠结
- artifact n. 人工制品；手工艺品
- pretending v. 假装；伪装（pretend的现在分词） adj. 伪称的；乔饰的
- folio n. 一页，页码；对开纸；对开本的书 adj. 对开的，对折的 vt. 编页码 n. (Folio)人名；(西)福利奥
- masque n. 假面剧；化装舞会；假面剧剧本
- postcode n. （英）邮政编码；邮区号
- Ceylon n. 锡兰（印度以南一岛国，现以更名为斯里兰卡Srilanka）
- fevered adj. 发烧的；激动的；激昂的 v. 发热；高度兴奋（fever的过去式和过去分词）
- translocate vt. 改变……的位置
